https://filesoo.com/product/1432/efficient-checking-of-polynomials-and-proofs-and-the-hardness-of-appoximation-problems